State estimation for infinite-dimensional systems
نویسندگان
چکیده
منابع مشابه
channel estimation for mimo-ofdm systems
تخمین دقیق مشخصات کانال در سیستم های مخابراتی یک امر مهم محسوب می گردد. این امر به ویژه در کانال های بیسیم با خاصیت فرکانس گزینی و زمان گزینی شدید، چالش بزرگی است. مقالات متعدد پر از روش های مبتکرانه ای برای طراحی و آنالیز الگوریتم های تخمین کانال است که بیشتر آنها از روش های خاصی استفاده می کنند که یا دارای عملکرد خوب با پیچیدگی محاسباتی بالا هستند و یا با عملکرد نه چندان خوب پیچیدگی پایینی...
infinite dimensional garch models
مدلهای گارچ در فضاهای هیلبرت پایان نامه حاضر شامل دو بخش می باشد. در قسمت اول مدلهای اتورگرسیو تعمیم یافته مشروط به ناهمگنی واریانس در فضاهای هیلبرت را معرفی، مفاهیم ریاضی مورد نیاز در تحلیل این مدلها در دامنه زمان را مطرح کرده و آنها را مورد بررسی قرار می دهیم. بر اساس پیشرفتهایی که اخیرا در زمینه تئوری داده های تابعی و آماره های عملگری ایجاد شده است، فرآیندهایی که دارای مقادیر در فضاهای ...
15 صفحه اولOn-line Parameter Estimation for Infinite-dimensional Dynamical Systems∗
The on-line or adaptive identification of parameters in abstract linear and nonlinear infinite-dimensional dynamical systems is considered. An estimator in the form of an infinitedimensional linear evolution system having the state and parameter estimates as its states is defined. Convergence of the state estimator is established via a Lyapunov estimate. The finite-dimensional notion of a plant...
متن کاملCharacterizations of input-to-state stability for infinite-dimensional systems
We prove characterizations of input-to-state stability (ISS) for a large class of infinite-dimensional control systems, including some classes of evolution equations over Banach spaces, time-delay systems, ordinary differential equations (ODE), switched systems. These characterizations generalize wellknown criteria of ISS, proved by Sontag and Wang for ODE systems. For the special case of diffe...
متن کاملFairness for Infinite-State Systems
In this paper we introduce the first known tool for symbolically proving fair -CTL properties of (infinite-state) integer programs. Our solution is based on a reduction to existing techniques for fairnessfree CTL model checking via the use of infinite non-deterministic branching to symbolically partition fair from unfair executions. We show the viability of our approach in practice using exampl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer and System Sciences
سال: 1967
ISSN: 0022-0000
DOI: 10.1016/s0022-0000(67)80028-x